package randoopFailures;

import junit.framework.*;

public class PackageModelRandoopTest_failure_14 extends TestCase {

  public static boolean debug = false;

  public void test1() throws Throwable {

    if (debug) System.out.printf("%nPackageModelRandoopTest_failure_14.test1");


    com.hyperrealm.kiwi.ui.model.KDocument var1 = new com.hyperrealm.kiwi.ui.model.KDocument((-1));
    javax.swing.text.Position var2 = var1.getStartPosition();
    com.hyperrealm.kiwi.ui.model.KTableColumnModel var3 = new com.hyperrealm.kiwi.ui.model.KTableColumnModel();
    javax.swing.event.TableColumnModelListener[] var4 = var3.getColumnModelListeners();
    javax.swing.ListSelectionModel var5 = var3.getSelectionModel();
    java.lang.Object var6 = var1.getProperty((java.lang.Object)var3);
    com.hyperrealm.kiwi.ui.model.TableSorter var7 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    com.hyperrealm.kiwi.ui.model.TableSorter var8 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    com.hyperrealm.kiwi.ui.model.TableSorter var9 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    var8.addTableModelListener((javax.swing.event.TableModelListener)var9);
    var7.setModel((javax.swing.table.TableModel)var8);
    com.hyperrealm.kiwi.ui.model.TableSorter var12 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    var12.fireTableRowsUpdated(100, 1);
    var7.addTableModelListener((javax.swing.event.TableModelListener)var12);
    java.lang.Object var17 = var1.getProperty((java.lang.Object)var12);
    var12.sortByColumn(99, true);

  }

}
